The paper presents a novel method for the verification of security protocols’ time properties. The new method uses a translation to satisfiability modulo theories problem. In our approach, we model protocol users’ behaviours using networks of synchronized timed automata. Suitably specified correctness properties are defined as a reachability property of some chosen states in an automata network. Then, the network of timed automata and the property are translated to an SMT problem and checked using an SMT-solver and a BMC algorithm. (...) We consider the most important time properties of protocol executions using specially constructed time conditions. The new method was also implemented and experimentally evaluated for six well-known SPs. We also compared our new SMT-based technique with the corresponding SAT-based approach. (shrink)

The aim of the paper is to assess the relative merits of two formal representations of structure, namely, set theory and category theory. The purpose is to articulate ontic structural realism. In turn, this will facilitate a discussion on the strengths and weaknesses of both concepts and will lead to a proposal for a pragmatics-based approach to the question of the choice of an appropriate framework. First, we present a case study from contemporary science—a comparison of the formulation of quantum (...) mechanics in the language of Hilbert spaces and abstract C* algebras. It is then shown how the method of structural representation can be determined based on the pragmatics of goal-oriented research, not a dogmatic choice. We investigate a hypothesis stating that the use of the interplay between the powers of abstraction and detail of different representational methods results in adopting a pluralistic, as opposed to standard, unificatory, perspective on the role of structural representation in OSR. (shrink)

In Eriugenas system, it is the epistemology that defines the perspectives for the metaphysics of the system. The author will try to provide a justification for this statement in analysing the fundamental assumptions of Eriugena's Periphyseon and the way he applies the to his hexaemeral exegesis.

Multicellular organisms contain numerous symbiotic microorganisms, collectively called microbiomes. Recently, microbiomic research has shown that these microorganisms are responsible for the proper functioning of many of the systems (digestive, immune, nervous, etc.) of multicellular organisms. This has inclined some scholars to argue that it is about time to reconceptualise the organism and to develop a concept that would place the greatest emphasis on the vital role of microorganisms in the life of plants and animals. We believe that, unfortunately, there is (...) a problem with this suggestion, since there is no such thing as a universal concept of the organism which could constitute a basis for all biological sciences. Rather, the opposite is true: numerous alternative definitions exist. Therefore, comprehending how microbiomics is changing our understanding of organisms may be a very complex matter. In this paper we will demonstrate that this pluralism proves that claims about a change in our understanding of organisms can be treated as both true and untrue. Mainly, we assert that the existing concepts differ substantially, and that only some of them have to be reconsidered in order to incorporate the discoveries of microbiomics, while others are already flexible enough to do so. Taking into account the plurality of conceptualisations within different branches of modern biology, we will conduct our discussion using the developmental and the cooperation–conflict concepts of the organism. Then we will explain our results by referring to the recent philosophical debate on the nature of the concept of the organism within biology. (shrink)

Due to advances in medicine, a malignant neoplasm is a chronic disease that can be treated for a lot of patients for many years. It may lead to profound changes in everyday life and may induce fear of life. The ability to adjust to a new situation may depend on temperamental traits and stress coping strategies. The research presented in this paper explores the relationships between quality of life, PTSD symptoms, temperamental traits, and stress coping in a sample of patients (...) diagnosed with cancer. One hundred and twenty nine participants aged 24–81 years, 69 females diagnosed with breast cancer and 60 males diagnosed with lung cancer completed Formal Characteristics of Behavior – Temperament Inventory, Coping Inventory for Stressful Situations, PTSD Inventory, and Quality of life SF-36 questionnaire. Higher level of emotional reactivity and higher level of perseveration was associated with lower emotional quality of life. Higher level of emotion oriented-coping and higher level of avoidant-distracted coping was associated with higher level of PTSD symptoms. Emotion-oriented coping and avoidant-distracted coping are ineffective in dealing with stress in the case of patients diagnosed with cancer, because they are associated with a higher level of PTSD symptoms. The significance of temperamental traits for quality of life in the situation of the patients is marginal. Control of specific factors concerned with current health and treatment status is needed the future research. (shrink)

Dance – as a ritual, therapy, and leisure activity – has been known for thousands of years. Today, dance is increasingly used as therapy for cognitive and neurological disorders such as dementia and Parkinson’s disease. Surprisingly, the effects of dance training on the healthy young brain are not well understood despite the necessity of such information for planning successful clinical interventions. Therefore, this study examined actively performing, expert-level trained college students as a model of long-term exposure to dance training. To (...) study the long-term effects of dance training on the human brain, we compared 20 young expert female Dancers with normal body mass index with 20 age- and education-matched Non-Dancers with respect to brain structure and function. We used diffusion tensor, morphometric, resting state and task-related functional MRI, a broad cognitive assessment, and objective measures of selected dance skill (Dance Central video game and a balance task). Dancers showed superior performance in the Dance Central video game and balance task, but showed no differences in cognitive abilities. We found little evidence for training-related differences in brain volume in Dancers. Dancers had lower anisotropy in the corticospinal tract. They also activated the action observation network (AON) to greater extent than Non-Dancers when viewing dance sequences. Dancers showed altered functional connectivity of the AON, and of the general motor learning network. These functional connectivity differences were related to dance skill and balance and training-induced structural characteristics. Our findings have the potential to inform future study designs aiming to monitor dance training-induced plasticity in clinical populations. (shrink)

This paper makes a conceptual inquiry into the notion of ‘publics’, and forwards an understanding of this notion that allows more responsible forms of decision-making with regards to technologies that have localized impacts, such as wind parks, hydrogen stations or flood barriers. The outcome of this inquiry is that the acceptability of a decision is to be assessed by a plurality of ‘publics’, including that of a local community. Even though a plurality of ‘publics’ might create competing normative demands, its (...) acknowledgment is necessary to withstand the monopolization of the process of technology appraisal. The paper presents four ways in which such an appropriation of publicness takes place. The creation of dedicated ‘local publics’, in contrast, helps to overcome these problems and allows for more responsible forms of decision-making. We describe ‘local publics’ as those in which stakeholders from the different publics that are related to the process of technology implementation are brought together, and in which concerns and issues from these publics are deliberated upon. The paper will present eight conditions for increasing the effectiveness of such ‘local publics’. (shrink)

Masculinity ideology is defined as a blend of cultural beliefs, types of behavior, and roles generally associated with men and boys. Previous studies have showed mixed effects of adherence to masculine ideology on men’s subjective well-being, indicating negative but also positive relationships. The present study focuses on agency, that is the core of stereotypic masculinity, and its relationship to subjective well-being by analyzing data from a representative Polish sample of the European Social Survey. Participants were 1751 adults, aged 17 years (...) and older. A structural equation model was applied. The results demonstrated that agentic values were good predictors of male and female subjective well-being. That is, the less men and women valued their own power and achievements, the lower their subjective well-being was. As expected, this association was stronger for men. Additionally, regardless of gender, we demonstrated that age was a negative predictor and that number of years of education a positive predictor of subjective well-being. This association was stronger for men. (shrink)

The article presents results of a study aimed at exploring social concepts associated with bodily ‘normativity’ and ‘passability’: the notion of normative body weight and attitude towards over- and underweight individuals. We were particularly interested in the common concepts and notions associated with normative body weight as well as possible reasons for rejection of people whose bodies do not fall within the socially shared knowledge of what the ‘right’ body is. The article presents results of a qualita­tive, interview-based research study (...) conducted with the use of visual materials. (shrink)

This paper reads The Monk by M. G. Lewis in the context of the literary and visual responses to the French Revolution, suggesting that its digestion of the horrors across the Channel is exhibited especially in its depictions of women. Lewis plays with public and domestic representations of femininity, steeped in social expectation and a rich cultural and religious imaginary. The novel’s ambivalence in the representation of femininity draws on the one hand on Catholic symbolism, especially its depictions of the (...) Madonna and the virgin saints, and on the other, on the way the revolutionaries used the body of the queen, Marie Antoinette, to portray the corruption of the royal family. The Monk fictionalizes the ways in which the female body was exposed, both by the Church and by the Revolution, and appropriated to become a highly politicized entity, a tool in ideological argumentation. (shrink)

Human languages typically employ a variety of spatial metaphors for time (e.g., “I'm looking forward to the weekend”). The metaphorical grounding of time in space is also evident in gesture. The gestures that are performed when talking about time bolster the view that people sometimes think about regions of time as if they were locations in space. However, almost nothing is known about the development of metaphorical gestures for time, despite keen interest in the origins of space–time metaphors. In this (...) study, we examined the gestures that English‐speaking 6‐to‐7‐year‐olds, 9‐to‐11‐year‐olds, 13‐to‐15‐year‐olds, and adults produced when talking about time. Participants were asked to explain the difference between pairs of temporal adverbs (e.g., “tomorrow” versus “yesterday”) and to use their hands while doing so. There was a gradual increase across age groups in the propensity to produce spatial metaphorical gestures when talking about time. However, even a substantial majority of 6‐to‐7‐year‐old children produced a spatial gesture on at least one occasion. Overall, participants produced fewer gestures in the sagittal (front‐back) axis than in the lateral (left‐right) axis, and this was particularly true for the youngest children and adolescents. Gestures that were incongruent with the prevailing norms of space–time mappings among English speakers (leftward and backward for past; rightward and forward for future) gradually decreased with increasing age. This was true for both the lateral and sagittal axis. This study highlights the importance of metaphoricity in children's understanding of time. It also suggests that, by 6 to 7 years of age, culturally determined representations of time have a strong influence on children's spatial metaphorical gestures. (shrink)

The objective of this article is to explore the identity construction by students with invisible disabilities as disclosed in medical consultations at a university health center. In particular, I work on the assumption that analysing the discursive processes through which students with invisible disabilities construct, negotiate and resist their roles and identities may contribute to a better understanding of living and studying with an invisible condition. Taking a discourse analytic approach, I consider identity as a dynamic and negotiable process that (...) takes place in specific interactional occasions. The findings have shown that these students sometimes construct contested identities as patients, students, or experts during medical consultations, responding to conflicting expectations of others and their own. (shrink)

Recreational Drugs European Network (ReDNet) project aims to use the Psychonaut Web Mapping Project database (Psychonaut Web Mapping Group, 2009) containing novel psychoactive compounds usually not mentioned in the scientific literature and thus unknown to clinicians as a unique source of information. The database will be used to develop an integrated ICT prevention approach targeted at vulnerable individuals and focused on novel synthetic and herbal compounds and combinations. Particular care will be taken in keeping the health professionals working directly with (...) young people showing problematic behaviors regularly updated in terms of novel compounds and combinations as well. A user-friendly project website will be developed aimed primarily at delivering the information/prevention approaches, but will also be a way of communicating with project partners and relevant stakeholders (e.g. thematic forum facilities, instant messages, blogs, video chat, wikiblog, newsletters distributed via mailing list). The website will support various ICT prevention tools, including an SMS alert service. Different areas and sections will be aimed specifically at the different target groups. -/- . (shrink)

Artykuł przedstawia proces twórczy Wiesława Myśliwskiego. Skupia się szczególnie na dwóch aspektach pracy pisarza. Pierwszy z nich Myśliwski określa terminem „bezradność owocująca”, to stan, który bezpośrednio poprzedza pisanie. Drugi określiłam jako „teorię pierwszego zdania”, a pojęcie to utworzyłam na bazie wypowiedzi pisarza. Artykuł zawiera analizę pierwszych zdań powieści Wiesława Myśliwskiego. Sygnalizuję możliwość zestawienia „bezradności owocującej” z innymi, choć podobnymi, koncepcjami procesu twórczego m.in. Emila Ciorana czy Sandora Maraiego.

İbn Sînâ, Yeter Sebep İlkesi’ni (YSİ), yani her şeyin bir sebebi olduğu ve sebepsiz hiçbir varlığın var olamayacağı iddiasını savunan modern dönem öncesi filozoflarından biridir. YSİ’nin sonuçlarından biri de zorunlulukçuluktur (necessitarianism); yani gerçekte var olan her şeyin aynı zamanda zorunlu olarak var olduğu iddiasıdır. Bu fikre göre sebepler zincirinin her bir üyesi kendinden önceki sebepler tarafından belirlenir. Dolayısıyla YSİ, olayların başka türlü de olabileceğini telkin eden insan sezgisine karşı çıkmaktadır. Bu çalışmadaki amacım, İbn Sînâ sonrası yazarların insan iradesini dışlamak suretiyle (...) YSİ’nin zorunlulukçu sonuçlarını hafifletmeye çalışıp çalışmadıklarını araştırmaktır. Nasîrüddin Tûsî’nin (ö. 672/1274) Cebr ve Kader adlı Farsça risalesi ile Tecrîdü’l-i‘tikâd adlı kelâm kitabı arasında bir karşılaştırma yapmaya odaklanacağım. Bu konuyu seçmemin öncelikli sebebi, insanların eylemlerinin bağımsız fâilleri olduklarını sezgisel olarak bildiklerine dair Tûsî’nin iddialarıdır ki bu, YSİ‘nin evrensel uygulanabilirliği ile çelişiyor gibi görünmektedir. Tûsî’nin özgür irade konusunda, metinlerin karakterine ve yazıldıkları döneme bağlı olarak, bazen İbn Sînâ ile tutarlılık arzeden bazen de Mu‘tezile’ye angaje olan farklı görüşler benimsediğini savunacağım. Tûsî’nin, bazen nedensel olarak etkin olmamasına rağmen insan özgürlüğüne nasıl yer bıraktığını göstereceğim. O, insan özgürlüğünü, insanın karşı karşıya kaldığı fiziksel veya ilahî diğer belirlenim türlerinden bağımsız olarak hareket edebilen farklı bir belirlenim türü olarak anlar. Genel olarak bu mesele, Tûsî’nin İbn Sînâ felsefesine ya da Şiî kelâmına bağlılığını test etmekte ve hatta onu bazı eserlerinde İbn Sînâ’nın bilgi görüşüne karşı bir duruş sergilemeye zorlamaktadır. (shrink)

This study examined cognitive predictors of susceptibility to orientation illusions: Poggendorff, Ponzo, and Zöllner. It was assumed that lower efficiency of information processing in WM and higher field dependence are conducive to orientation illusions. 61 architects aged M = 29, +/- 1.6, and 49 university students aged M = 23.53, +/- 4.24, were tested with Witkin’s EFT to assess their field dependence; the SWATT method was used as a measure of WM efficiency, and susceptibility to visual illusions was verified with (...) a series of computer tasks. We obtained a small range of the explained variance in the regression models including FDI and WM indicators. On the basis of WM efficiency indicators, we managed to confirm the existence of memory predictors of susceptibility to illusions. Among the architects, lower efficiency of WM processing and higher field dependence are responsible for greater susceptibility to orientation illusions. (shrink)

Against the background of the ideal of value-free science formulated by M. Weber the paper defends the view that science is not - and cannot be - value-free, and, moreover, that values relevant to science are both cognitive and moral.Three arguments are developed to support this thesis: (1) Since there is no algorithm for making methodological decisions as to what theory should be accepted, what method should be used, etc, scientists have to pass judgements that are essentially evaluative. Those judgements (...) belong to science. The attempt to save the ideal of value-free science by distinguishing value-free object language and value-laden metalanguage (in which those evaluative judgements would be formulated) does not work. For there are no reasons to expel the methodology of a given science from that science, and even if we made this move, we would finally come to the level of evaluative judgements, unless we accept regressus ad infinitum. (2) Even if the above distinction were tenable, this would not save the ideal of value-free science. For our language is full of the so-called ,,thick ethical concepts\" that are both descriptive and evaluative. They are justifiably used at least in some sciences. We could exclude - by definition - such concepts from science, but this would result in expelling many legitimate disciplines from the realm of science. This would mean not that science was value--free but that we made it so. (3) The fact that scientific results are sometimes expressed by means of ethically thick concepts does not allow us to restrict values involved in science to epistemological values - moral values are involved as well. Moreover, apparently pure methodological concepts such as ,,good solution\" or ..sufficient evidence\" seem to be also ..ethically thick\". Such considerations allow us to draw a conclusion that science possesses intrinsic moral dimension, and separating the epistemic and moral points of view in discussions about science is unjustified. (shrink)

Interdisciplinary perspectives on the feature of conscious life that scaffolds every act of cognition: subjective time. Our awareness of time and temporal properties is a constant feature of conscious life. Subjective temporality structures and guides every aspect of behavior and cognition, distinguishing memory, perception, and anticipation. This milestone volume brings together research on temporality from leading scholars in philosophy, psychology, and neuroscience, defining a new field of interdisciplinary research. The book's thirty chapters include selections from classic texts by William James (...) and Edmund Husserl and new essays setting them in historical context; contemporary philosophical accounts of lived time; and current empirical studies of psychological time. These last chapters, the larger part of the book, cover such topics as the basic psychophysics of psychological time, its neural foundations, its interaction with the body, and its distortion in illness and altered states of consciousness. Contributors Melissa J. Allman, Holly Andersen, Valtteri Arstila, Yan Bao, Dean V. Buonomano, Niko A. Busch, Barry Dainton, Sylvie Droit-Volet, Christine M. Falter, Thomas Fraps, Shaun Gallagher, Alex O. Holcombe, Edmund Husserl, William James, Piotr Jaśkowski, Jeremie Jozefowiez, Ryota Kanai, Allison N. Kurti, Dan Lloyd, Armando Machado, Matthew S. Matell, Warren H. Meck, James Mensch, Bruno Mölder, Catharine Montgomery, Konstantinos Moutoussis, Peter Naish, Valdas Noreika, Sukhvinder S. Obhi, Ruth Ogden, Alan o'Donoghue, Georgios Papadelis, Ian B. Phillips, Ernst Pöppel, John E. R. Staddon, Dale N. Swanton, Rufin VanRullen, Argiro Vatakis, Till M. Wagner, John Wearden, Marc Wittmann, Agnieszka Wykowska, Kielan Yarrow, Bin Yin, Dan Zahavi. (shrink)

M. J. Woods; XI*—Substance and Essence in Aristotle, Proceedings of the Aristotelian Society, Volume 75, Issue 1, 1 June 1975, Pages 167–180, https://doi.org/10.

IntroductionBisphenol A is highly debated and studied in relation to a variety of health outcomes. This large variation in the literature makes BPA a topic that is prone to selective use of literature, in order to underpin one’s own findings and opinion. Over time, selective use of literature, by means of citations, can lead to a skewed knowledge development and a biased scientific consensus. In this study, we assess which factors drive citation and whether this results in the overrepresentation of (...) harmful health effects of BPA.MethodsA citation network analysis was performed to test various determinants of citation. A systematic search identified all relevant publications on the human health effect of BPA. Data were extracted on potential determinants of selective citation, such as study outcome, study design, sample size, journal impact factor, authority of the author, self-citation, and funding source. We applied random effect logistic regression to assess whether these determinants influence the likelihood of citation.ResultsOne hundred sixty-nine publications on BPA were identified, with 12,432 potential citation pathways of which 808 citations occurred. The network consisted of 63 cross-sectional studies, 34 cohort studies, 29 case-control studies, 35 narrative reviews, and 8 systematic reviews. Positive studies have a 1.5 times greater chance of being cited compared to negative studies. Additionally, the authority of the author and self-citation are consistently found to be positively associated with the likelihood of being cited. Overall, the network seems to be highly influenced by two highly cited publications, whereas 60 out of 169 publications received no citations.ConclusionIn the literature on BPA, citation is mostly driven by positive study outcome and author-related factors, such as high authority within the network. Interpreting the impact of these factors and the big influence of a few highly cited publications, it can be questioned to which extent the knowledge development in human literature on BPA is actually evidence-based. (shrink)

The network model of EEG formation has revealed a unified mechanism for disparate EEG phenomena: for various reactions as well as for ontogenetic and phylogenetic differences. EEG rhythmicity was shown to be an external manifestation of the functioning of the intracortical stabilizing system which provides normal informational operations in the cerebral cortex.

This paper concerns a puzzle about the logical form of expressions involving repeated `and's. Obvious attempts to solve the problem fail. It happens that a proper solution surprisingly requires the semantic notions of sampling and expression. I speculate that this may provide an alternative to conversational implicature.

This article aims to explore representation of the content knowledge of historical Malay manuscripts by extracting the event features using an event ontology framework. The manuscript used during the testing is Sulalatus Salatin (Sejarah Melayu ) by Abdul Ahmad Samad and it was published at University of Malaya Digital Library database. In aligning to a domain-specific ontology, the Simple Event Model (SEM) model is adopted and an event-based ontology for historical Malay manuscripts is designed. Information extraction approach is done manually (...) to extract events from the manuscript and mapped into Protégé editor. Competency questions were constructed and submitted to the Protégé editor using SPARQL to check the ontology capability of providing answers as well as to examine its correctness. Event-based ontology model assists in discovering and representing the content knowledge of historical Malay manuscripts and supports organisation of knowledge. All the main concepts are extracted from selected Malay manuscript and 17 concepts used to develop the event-based ontology model. The knowledge was verified by three domain experts in Malay manuscript. In the findings, the interrater reliability for Event and Actor instances is 84%, which means 16% of instances and its type are incorrect and need amendment. For Place, interrater reliability is 95% and 99% for Role. Meanwhile, the experts achieved 100% agreement for Time. In addition, the experts agreed that the concepts, properties and instances for Malay Manuscript Ontology and complied with the criteria of consistency, completeness, conciseness, expandability and ease of use. The development of the event-based model of an ontology-based system with a high level of semantic granularity reflects the various cultural riches and intellectual aspect stored in Malay manuscripts. This will enable systematic research of the knowledge embedded in the manuscripts and make it widely and easily accessible by everyone. (shrink)